//
// Created by Administrator on 2023/11/22.
//
#include "bits/stdc++.h"

using namespace std;
//先判断闰年
//普通闰年：公历年份是4的倍数，且不是100的倍数的，为闰年（如2004年、2020年等就是闰年）。
//世纪闰年：公历年份是整百数的，必须是400的倍数才是闰年（如1900年不是闰年，2000年是闰年）。

bool is_leap_year(int y) {
    if ((y % 4 == 0 && y % 100 != 0) || (y % 400 == 0))
        return true;
    else return false;

}

int main() {
    int y, d;
    int m[13] = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};

    while (cin >> y >> d) {
        if (is_leap_year(y))
            m[2] = 29;
        else m[2] = 28;

        int t_m = 1;

        while (d > m[t_m]) {
            d = d - m[t_m++];
        }

        printf("%04d-%02d-%02d\n", y, t_m, d);
    }


}